void wdog_refresh(void);